デダクション・ガイド

可能であれば、concurrent_hash_map コンストラクターは、クラス・テンプレート引数を推測することができます (C++17 以降)。コピーおよび移動コンストラクター (明示的な allocator_type 引数を持つコンストラクターを含む) は、暗黙的に生成されるデダクション・ガイドを提供します。さらに、次の明示的なデダクション・ガイドが提供されます。

template <typename InputIterator, 
          typename HashCompare = tbb_hash_compare<iterator_key_t<InputIterator>>, 
          typename Allocator = tbb_allocator<iterator_alloc_value_t<InputIterator>>> 
concurrent_hash_map( InputIterator, InputIterator, 
                     HashCompare = HashCompare(), 
                     Allocator = Allocator() ) 
-> concurrent_hash_map<iterator_key_t<InputIterator>, 
                       iterator_mapped_t<InputIterator>, 
                       HashCompare, 
                       Allocator>; 

template <typename InputIterator, 
          typename Allocator> 
concurrent_hash_map( InputIterator, InputIterator, Allocator ) 
-> concurrent_hash_map<iterator_key_t<InputIterator>, 
                       iterator_mapped_t<InputIterator>, 
                       tbb_hash_compare<iterator_key_t<InputIterator>>, 
                       Allocator>; 

template <typename Key, typename T, 
          typename HashCompare = tbb_hash_compare<std::remove_const_t<Key>>, 
          typename Allocator = tbb_allocator<std::pair<const Key, T>>> 
concurrent_hash_map( std::initializer_list<std::pair<Key, T>>, 
                     HashCompare = HashCompare(), 
                     Allocator = Allocator() ) 
-> concurrent_hash_map<std::remove_const_t<Key>, 
                       T, 
                       HashCompare, 
                       Allocator>; 

template <typename Key, typename T, 
          typename Allocator> 
concurrent_hash_map( std::initializer_list<std::pair<Key, T>>, 
                     Allocator ) 
-> concurrent_hash_map<std::remove_const_t<Key>, 
                       T, 
                       tbb_hash_compare<std::remove_const_t<Key>>, 
                       Allocator>;

ここで、タイプエイリアス iterator_key_t、iterator_mapped_t、および iterator_alloc_value_t は次のように定義されます。

template <typename InputIterator> 
using iterator_key_t = std::remove_const_t<typename std::iterator_traits<InputIterator>::value_type::first_type>; 

template <typename InputIterator> 
using iterator_mapped_t = typename std::iterator_traits<InputIterator>::value_type::second_type; 

template <typename InputIterator> 
using iterator_alloc_value_t = std::pair<std::add_const_t<iterator_key_t<InputIterator>, 
                                         iterator_mapped_t<InputIterator>>>;

このデダクション・ガイドは、次の要件が満たされる場合にのみ、オーバーロードの解決に関係します。

InputIterator タイプは、[input.iterators] ISO C++ 標準の InputIterator の要件を満たしている必要があります。
Allocator タイプは、[allocator.requirements ISO C++ 標準の Allocator の要件を満たしている必要があります。
HashCompare タイプは Allocator の要件を満たしていません。

例

#include <oneapi/tbb/concurrent_hash_map.h> 
#include <vector> 

int main() { 
    std::vector<std::pair<const int, float>> v; 

    // Deduces chmap1 as oneapi::tbb::concurrent_hash_map<int, float> 
    oneapi::tbb::concurrent_hash_map chmap1(v.begin(), v.end()); 

    std::allocator<std::pair<const int, float>> alloc; 
    // Deduces chmap2 as oneapi::tbb::concurrent_hash_map<int, float, 
    // tbb_hash_compare<int>, 
    // std::allocator<std::pair<const int, float>>> 
    oneapi::tbb::concurrent_hash_map chmap2(v.begin(), v.end(), alloc); 
}